A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form

The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a λ-approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers.     

基于电化学发光和阻抗技术研究DNA单碱基错配

单碱基错配的识别和稳定性差异在核酸多态性研究中至关重要。在同一电化学传感器平台上，采用电化学发光（ECL）和电化学阻抗（EIS）2种技术，协同研究DNA链中不同类型和不同位点的单碱基错配识别和稳定性差异。电极表面具有茎环构象的探针DNA与完全互补DNA、不同类型或不同位点单碱基错配DNA杂交前后的ECL和EIS信号强度变化有显著差异。信号强度变化可揭示单碱基错配识别的稳定性。结果表明，DNA链中心位点的C-A单碱基错配稳定性低于链两端的，靠近键合电极表面双链链端的C-A单碱基错配稳定性低于非键合电极表面双链链端的，同一中心位点C-X碱基对的稳定性顺序为C-G?C-T>C-A≥C-C。研究结果可为核酸多态性研究提供参考。     

基于PI法的门源MS6.4地震前震中附近地震热点图像异常变化研究

基于1980年以来青海省和甘肃省区域地震台网的定位地震目录，分析了研究区最小完备震级，选取空间网格尺度为0.2°×0.2°、地震活动异常学习时间段和预测时间段均为3 a，应用图像信息（PI）法，分析了门源M_S6.4地震发生前震中附近地震热点图像的异常变化过程。结果表明，在2013年1月1日至2016年1月1日的预测时间窗内，冷龙岭断裂和祁连山北缘断裂附近存在明显的地震热点，且地震热点图像颜色偏深，发震概率较高，向前滑动至2014年1月1日至2017年1月1日，2015年1月1日至2018年1月1日和2016年1月1日至2019年1月1日3个预测时间窗，此两断裂附近仍存在地震热点，地震热点图像颜色逐渐由深变浅，而门源M_S6.4地震就落在PI法得到的地震热点内。门源M_S6.4地震前存在明显的地震热点，且地震热点相对集中，地震热点图像颜色由深变浅，震后消失；在祁连山北缘断裂附近，地震热点持续存在，分布较集中，地震热点图像颜色也呈由深变浅的过程。未来需关注祁连山北缘断裂，附近有发生强震的可能。     

Explosive synchronization in a mobile network in the presence of a positive feedback mechanism

Synchronization is a process that describes the coherent dynamics of a large ensemble of interacting units.The study of explosive synchronization transition attracts considerable attention.Here,I report the explosive transition within the framework of a mobile network,while each oscillator is controlled by global-order parameters of the system.Using numerical simulation,I find that the explosive synchronization(ES)transition behavior can be controlled by simply adjusting the fraction of controlled oscillators.The influences of some parameters on explosive synchronization are studied.Moreover,due to the presence of the positive feedback mechanism,I prevent the occurrence of the synchronization of continuous-phase transition and make phase transition of the system a first-order phase transition accompanied by a hysteresis loop.     

Application of advanced nuclear analytical techniques for the electrocatalyst's characterization: Paving the path for mechanistic investigations

As the application of electrocatalyst continues to expand, envisaging the hidden mechanisms occurring at various length scale affecting the catalytic efficiency became important. To enhance the stability of electrocatalyst and reduce the cost, it is of paramount importance to reveal the active site's dynamics (using in situ techniques for getting the real-time information) which directly affect the reactions such as oxygen evolution reaction, hydrogen evolution reaction, and so on. Since such reactions are crucial for many engineering and scientific applications, in situ characterization techniques are required, which could capture such reactions happening at a different length and time scale. This article analyzes the recent progress made in the field of electrocatalyst's characterization using in situ neutron techniques. The article also paves the future path and has delineated the future challenges involved in multiscale correlative techniques (e.g., neutron techniques in the combination of synchrotron or microscopic techniques) used for getting the multiscale (atomic to micrometer range) mechanistic information about the electrocatalyst's working and degradation.     

Effect of oxygen on regulation of properties of moderately boron-doped diamond films

Regulation of oxygen on properties of moderately boron-doped diamond films is fully investigated. Results show that, with adding a small amount of oxygen (oxygen-to-carbon ratio < 5.0%), the crystal quality of diamond is improved, and a suppression effect of residual nitrogen is observed. With increasing ratio of O/C from 2.5% to 20.0%, the hole concentration is firstly increased then reduced. This change of hole concentration is also explained. Moreover, the results of Hall effect measurement with temperatures from 300 K to 825 K show that, with adding a small amount of oxygen, boron and oxygen complex structures (especially B₃O and B₄O) are formed and exhibit as shallow donor in diamond, which results in increase of donor concentration. With further increase of ratio of O/C, the inhibitory behaviors of oxygen on boron leads to decrease of acceptor concentration (the optical emission spectroscopy has shown that it is decreased with ratio of O/C more than 10.0%). This work demonstrates that oxygen-doping induced increasement of the crystalline and surface quality could be restored by the co-doping with oxygen. The technique could achieve boron-doped diamond films with both high quality and acceptable hole concentration, which is applicable to electronic level of usage.     

Understanding the synthesis and reactivity of ADORable zeolites using NMR spectroscopy

Zeolites remain one of the most important classes of industrial catalysts used today, and with the urgent drive for the transition from petrochemical to renewable feedstocks, there is a renewed interest in developing new types of zeolite. Recent synthetic advances in the field have included the development of the assembly-disassembly-organisation-reassembly (ADOR) method. In this short review, we will discuss how solid-state NMR experiments can be used to probe the mechanism of the process by characterising the structure of the intermediates and products, show how ¹⁷O NMR spectroscopy can be used to probe the reactivity of ADORable zeolites and explain how this, in turn, can lead to fundamental questions of how zeolites behave in the presence of liquid water.     

蛋白质-多糖复合体系在活性物质传递中的应用

蛋白质-多糖复合体系作为生物活性物质传递系统的壁材,有着人工合成聚合物或无机物等其他材料不可比拟的多重优势。本文就蛋白质和多糖之间的连接方式及蛋白质-多糖复合体系形成传递系统的多种形式进行了综述,以及对此领域的发展趋势进行了展望。结合蛋白质和多糖的结构特点,二者之间的链接方式分为非共价结合的物理共聚,和共价结合的美拉德偶联、化学交联、酶催化交联等方式,文中分别对各种连接方式的原理和机理,以及其影响因素做了深入阐述。以蛋白质-多糖复合体系为壁材对活性物质的传递形式大体上分成乳化系统、胶束、纳米凝胶、分子复合物以及壳核结构等系统。不同的活性物质的特征和传递需求,可针对性地选择合适结构的蛋白质和多糖种类以及二者的连接方式和传递系统的形式。并且,随着研究的逐步发展和推进,此领域的发展趋势朝着智能化和靶向性的方向进行。目前活性物质的蛋白质-多糖复合体系的传递系统,还依然面临着系统设计、评价和应用等多方面的挑战,这就要求我们在更全面更深入了解认识其对活性物质影响和功效的基础上,安全合理地设计和深入细致地评价活性成分的传递系统。     

A Stable Porphyrin Functionalized Graphite Electrode Used at the Oxygen Evolution Reaction Potential

Many researches have been devoted to rechargeable power generators that can store (but also release) energy. This availability is ensured through (e. g.) the oxygen evolution reaction (OER). However, (i) large values of the overpotentials and (ii) a progressive detriment of the anode (graphite) electrode limit the ultimate device. In view of enhancing the electrode performances, graphite was protected by following different strategies, which oblige to follow precise preparation protocols. Here, we prove that a thin layer of free-base porphyrin molecules is able to protect the underneath graphite electrode from detriment even if many (about 100) electrochemical cycles are performed.     

Pyridine solvated dioxouranium complex with salen ligand: Synthesis,characterization and luminescence properties

A new derivative of dioxouranium(VI) salen complex, [UO2(L)(pyridine)], where [L = N,N′-Bis(2-hydroxybenzylidene)-2,2-dimethyl-1,3-propanediamine] is synthesized and characterized by elemental analysis (C, H, N), FT-IR, ESI-MS spectrometry, UV/Vis, fluorescence, ¹H and ¹³C NMR spectroscopy and thermal gravimetric (TG) study. Furthermore, the single crystal X-ray diffraction measurements of the complex were carried out at 100 and 273 K. The crystal structure measurements revealed that the complex has distorted pentagonal bipyramidal geometry with uranium atom located at the centre and bonded to two phenoxy oxygen and two azomethine nitrogen in tetradenate fashion and one nitrogen from pyridine making it seven coordinated. In addition, the photoluminescence property of the complex was also recorded.